Considering Topological Constraints for the Description of Dynamic Service-Oriented Orchestrated Architectures

The description of run-time changing architectures cannot be limited to the specification of a unique static topology but must cover the scope of all the correct configurations. We develop, in this paper, the concept of architectural styles to achieve this goal. We elaborate and specify the basic architectural styles for the design of service-oriented applications. For this purpose we develop an appropriate formal framework using graph grammars. Our approach enables both generating architectures in conformance with a given style and checking conformance of ad-hoc architectures. We first, describe formally the basic interaction style involving the orchestrated interaction model where an orchestrator manages the workflow of several service requestors and providers. Finally, we define a complex architectural style to address hierarchical orchestration.